Optimal. Leaf size=172 \[ \frac{\left (B-\frac{b B-2 A c}{\sqrt{b^2-4 a c}}\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{\sqrt{2} \sqrt{c} \sqrt{b-\sqrt{b^2-4 a c}}}+\frac{\left (\frac{b B-2 A c}{\sqrt{b^2-4 a c}}+B\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{\sqrt{b^2-4 a c}+b}}\right )}{\sqrt{2} \sqrt{c} \sqrt{\sqrt{b^2-4 a c}+b}} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.415627, antiderivative size = 172, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 2, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.091 \[ \frac{\left (B-\frac{b B-2 A c}{\sqrt{b^2-4 a c}}\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{\sqrt{2} \sqrt{c} \sqrt{b-\sqrt{b^2-4 a c}}}+\frac{\left (\frac{b B-2 A c}{\sqrt{b^2-4 a c}}+B\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{\sqrt{b^2-4 a c}+b}}\right )}{\sqrt{2} \sqrt{c} \sqrt{\sqrt{b^2-4 a c}+b}} \]
Antiderivative was successfully verified.
[In] Int[(A + B*x^2)/(a + b*x^2 + c*x^4),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 36.1828, size = 185, normalized size = 1.08 \[ - \frac{\sqrt{2} \left (2 A c - B b - B \sqrt{- 4 a c + b^{2}}\right ) \operatorname{atan}{\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b + \sqrt{- 4 a c + b^{2}}}} \right )}}{2 \sqrt{c} \sqrt{b + \sqrt{- 4 a c + b^{2}}} \sqrt{- 4 a c + b^{2}}} + \frac{\sqrt{2} \left (2 A c - B b + B \sqrt{- 4 a c + b^{2}}\right ) \operatorname{atan}{\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b - \sqrt{- 4 a c + b^{2}}}} \right )}}{2 \sqrt{c} \sqrt{b - \sqrt{- 4 a c + b^{2}}} \sqrt{- 4 a c + b^{2}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate((B*x**2+A)/(c*x**4+b*x**2+a),x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.168077, size = 173, normalized size = 1.01 \[ \frac{\frac{\left (B \sqrt{b^2-4 a c}+2 A c-b B\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{\sqrt{b-\sqrt{b^2-4 a c}}}+\frac{\left (B \sqrt{b^2-4 a c}-2 A c+b B\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{\sqrt{b^2-4 a c}+b}}\right )}{\sqrt{\sqrt{b^2-4 a c}+b}}}{\sqrt{2} \sqrt{c} \sqrt{b^2-4 a c}} \]
Antiderivative was successfully verified.
[In] Integrate[(A + B*x^2)/(a + b*x^2 + c*x^4),x]
[Out]
_______________________________________________________________________________________
Maple [B] time = 0.024, size = 328, normalized size = 1.9 \[ -{c\sqrt{2}A\arctan \left ({cx\sqrt{2}{\frac{1}{\sqrt{ \left ( b+\sqrt{-4\,ac+{b}^{2}} \right ) c}}}} \right ){\frac{1}{\sqrt{-4\,ac+{b}^{2}}}}{\frac{1}{\sqrt{ \left ( b+\sqrt{-4\,ac+{b}^{2}} \right ) c}}}}+{\frac{\sqrt{2}B}{2}\arctan \left ({cx\sqrt{2}{\frac{1}{\sqrt{ \left ( b+\sqrt{-4\,ac+{b}^{2}} \right ) c}}}} \right ){\frac{1}{\sqrt{ \left ( b+\sqrt{-4\,ac+{b}^{2}} \right ) c}}}}+{\frac{b\sqrt{2}B}{2}\arctan \left ({cx\sqrt{2}{\frac{1}{\sqrt{ \left ( b+\sqrt{-4\,ac+{b}^{2}} \right ) c}}}} \right ){\frac{1}{\sqrt{-4\,ac+{b}^{2}}}}{\frac{1}{\sqrt{ \left ( b+\sqrt{-4\,ac+{b}^{2}} \right ) c}}}}-{c\sqrt{2}A{\it Artanh} \left ({cx\sqrt{2}{\frac{1}{\sqrt{ \left ( -b+\sqrt{-4\,ac+{b}^{2}} \right ) c}}}} \right ){\frac{1}{\sqrt{-4\,ac+{b}^{2}}}}{\frac{1}{\sqrt{ \left ( -b+\sqrt{-4\,ac+{b}^{2}} \right ) c}}}}-{\frac{\sqrt{2}B}{2}{\it Artanh} \left ({cx\sqrt{2}{\frac{1}{\sqrt{ \left ( -b+\sqrt{-4\,ac+{b}^{2}} \right ) c}}}} \right ){\frac{1}{\sqrt{ \left ( -b+\sqrt{-4\,ac+{b}^{2}} \right ) c}}}}+{\frac{b\sqrt{2}B}{2}{\it Artanh} \left ({cx\sqrt{2}{\frac{1}{\sqrt{ \left ( -b+\sqrt{-4\,ac+{b}^{2}} \right ) c}}}} \right ){\frac{1}{\sqrt{-4\,ac+{b}^{2}}}}{\frac{1}{\sqrt{ \left ( -b+\sqrt{-4\,ac+{b}^{2}} \right ) c}}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int((B*x^2+A)/(c*x^4+b*x^2+a),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{B x^{2} + A}{c x^{4} + b x^{2} + a}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((B*x^2 + A)/(c*x^4 + b*x^2 + a),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.373776, size = 2118, normalized size = 12.31 \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((B*x^2 + A)/(c*x^4 + b*x^2 + a),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [A] time = 15.3781, size = 314, normalized size = 1.83 \[ \operatorname{RootSum}{\left (t^{4} \left (256 a^{3} c^{3} - 128 a^{2} b^{2} c^{2} + 16 a b^{4} c\right ) + t^{2} \left (- 16 A^{2} a b c^{2} + 4 A^{2} b^{3} c + 64 A B a^{2} c^{2} - 16 A B a b^{2} c - 16 B^{2} a^{2} b c + 4 B^{2} a b^{3}\right ) + A^{4} c^{2} - 2 A^{3} B b c + 2 A^{2} B^{2} a c + A^{2} B^{2} b^{2} - 2 A B^{3} a b + B^{4} a^{2}, \left ( t \mapsto t \log{\left (x + \frac{- 32 t^{3} A a^{2} b c^{2} + 8 t^{3} A a b^{3} c + 64 t^{3} B a^{3} c^{2} - 16 t^{3} B a^{2} b^{2} c - 4 t A^{3} a c^{2} + 2 t A^{3} b^{2} c - 6 t A^{2} B a b c + 12 t A B^{2} a^{2} c - 2 t B^{3} a^{2} b}{- A^{4} c^{2} + A^{3} B b c - A B^{3} a b + B^{4} a^{2}} \right )} \right )\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((B*x**2+A)/(c*x**4+b*x**2+a),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.814709, size = 1, normalized size = 0.01 \[ \mathit{Done} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((B*x^2 + A)/(c*x^4 + b*x^2 + a),x, algorithm="giac")
[Out]